This paper should be referred to as: Verhaeghe, P., Social bond and authority: everyone is the same in front of the law of difference. To be published in: Journal for The Psychoanalysis of Culture & Society. Paper orgin

Source URL: www.psychoanalysis.ugent.be

• Jacques Lacan
• Post-structuralism
• Structuralism
• Philosophy of sexuality
• Freudian psychology
• The Four Fundamental Concepts of Psychoanalysis
• Name of the Father
• Oedipus complex
• Sigmund Freud
• Jouissance
• The Symbolic
• Lacanianism

5; Identity in times of loneliness

Source URL: www.psychoanalysis.ugent.be

• Philosophy
• Jacques Lacan
• Psychology
• Continental philosophy
• Post-structuralism
• Structuralism
• Philosophy of sexuality
• Self
• Jouissance
• The Symbolic
• Other
• Gender

The Jewel in the River : COOPER 25 The Jewel in the River: Symbolic Vision in

Source URL: www.ramify.org

OreModules: A symbolic package for the study of multidimensional linear systems F. Chyzak1 , A. Quadrat2 , and D. Robertz3 1 2

Source URL: wwwb.math.rwth-aachen.de

A tool for automating the computationally complete symbolic attacker (Extended Abstract) Hubert Comon-Lundh V´eronique Cortier

Source URL: software.imdea.org

• Cryptography
• Applied mathematics
• Computer security
• Advantage
• Provable security
• Cryptographic protocol
• Data Encryption Standard
• DolevYao model
• NeedhamSchroeder protocol

Protocol Indistinguishability and the Computationally Complete Symbolic Attacker (Extended Abstract) Gergei Bana INRIA Paris, France

Source URL: software.imdea.org

• Ciphertext indistinguishability
• Cryptography
• DolevYao model
• Communications protocol
• Computing

ASSOCIATION FOR SYMBOLIC LOGICJOINT MEETING WITH THE AMERICAN PHILOSOPHICAL ASSOCIATION Palmer House Chicago, IL March 2 - 5, 2016

Source URL: aslonline.org

The Relative Efficiency of Propositional Proof Systems Author(s): Stephen A. Cook and Robert A. Reckhow Source: The Journal of Symbolic Logic, Vol. 44, No. 1 (Mar., 1979), ppPublished by: Association for Symbolic

Source URL: www.cs.toronto.edu

Higher-Order and Symbolic Computation, 11, 363–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Definitional Interpreters

Source URL: cs.au.dk

• Software engineering
• Computer programming
• Computing
• Lambda calculus
• Subroutines
• Models of computation
• Functional programming
• Theoretical computer science
• Lisp
• Eval
• Expression
• Anonymous function

MEDIA IMAGES Symbolic Cities: The Work of Ahmed Mater On view March 19–September 18, 2016, Freer|Sackler Press Tour:

Source URL: www.asia.si.edu